(31337_66359790889628, `De Morgan's laws`)